A Topos Perspective on the Kochen - Specker Theorem : III . Von Neumann Algebras as the Base Category
نویسندگان
چکیده
We extend the topos-theoretic treatment given in previous papers [1, 2] of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).
منابع مشابه
Kochen-Specker theorem for von Neumann algebras
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type In factor as algebra of observables, including I∞. Afterwards, we give a proof of...
متن کاملA Topos Perspective on the Kochen - Specker Theorem : I . Mathematical Development
Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. T...
متن کاملThe Gelfand Spectrum of a Noncommutative C*-algebra: a Topos-theoretic Approach
We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of ‘noncommutative spaces’ is the opposite of the category of C*-algebras. The second, loosely generalising Stone duality, maintains that the category of ‘pointfree spaces’ is the opposite of the cat egory of frames (i.e., complete lattices in which the me...
متن کاملA Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations
Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. T...
متن کاملA Topos Perspective on the Kochen-Specker Theorem: II. Conceptual Aspects, and Classical Analogues
In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical—such a valuation illuminates the Kochen-Specker theorem; and in part mathematical—the valuation arises naturally in the topos theory of presheaves. This paper discusses t...
متن کامل